poss{-}le\{i:l\}($e_{1}$; $e_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($e_{1}$.1) = ($e_{2}$.1) $\in$ ES\{i\}) c$\wedge$ es{-}le($e_{1}$.1;($e_{1}$.2).1;($e_{2}$.2).1)